Turing’s Error-revised

Heuristics for type error discovery and recovery (revised revised)

Type error messages that are reported for incorrect functional programs can be difficult to understand. The reason for this is that most type inference algorithms proceed in a mechanical, syntax-directed way, and are unaware of inference techniques used by experts to explain type inconsistencies. We formulate type inference as a constraint problem, and analyze the collected constraints to impro...

Floating-Point Numbers with Error Estimates (revised)

The original work [25] is here reconsidered, so many years after. The old text has been revised, plus several considerations have been added, in order to clarify some controversial aspects of the work, and to envision possible developments. A section has been added, to review the effects of the original paper. The study addresses the problem of precision in floating-point (FP) computations. A m...

The Margin-for-Error Principle Revised

Williamson’s anti-luminosity argument purports to show that principle KK is incompatible with a plausible Margin-for-Error requirement for inexact knowledge. In this paper I advocate an alternative conception of the requirement which blocks the antiluminosity argument and argue that the revised principle provides a better account of inexact and higher-order knowledge. Williamson (2000) has argu...

Heuristics for type error discovery and recovery (revised)

Type error messages that are reported for incorrect functional programs can be difficult to understand. The reason for this is that most type inference algorithms proceed in a mechanical, syntax-directed way, and are unaware of inference techniques used by experts to explain type inconsistencies. We formulate type inference as a constraint problem, and analyze the collected constraints to impro...

False prediction of future dangerousness: error rates and psychopathy checklist--revised.